منابع مشابه
ICSE: U: Identifiying caching opportunities by revisiting Object Equality Profiling
A memory profiler is a tool used by software developers to understand how an application uses the physical memory during its execution. Most programming environments are shipped with an accurate profiler. In case of an excessive memory consumption, a software developer may reduce the application memory footprint by examining a profiler report. Unfortunately, optimization opportunities are not a...
متن کاملTitle: Equality in Object Oriented Languages Equality in Object Oriented Languages
Traditional programming languages provide a simpliied view of equality. Many programmers have apparently inferred that equality itself is a simple concept | a matter of writing`=' in the right place and leaving the rest to the compiler. Equality tests involve semantic relationships, however, and it follows that a compiler cannot generate correct equality tests for user-deened types. In the soph...
متن کاملTense like equality algebras
In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense ...
متن کاملFrom Racial Profiling to Racial Equality Rethinking Equity in Police Stops and Searches
Police departments across the country have come under scrutiny for racial bias in their stops and searches, but it is impossible to know whether the distribution of stops and searches is inequitable without first analyzing what equity requires of the police in this area. This paper provides that analysis in order to develop a normative foundation for empirical research. I first consider the leg...
متن کاملEquality of proofs for linear equality
This paper is about equality of proofs in which a binary predicate formalizing properties of equality occurs, besides conjunction and the constant true proposition. The properties of equality in question are those of a preordering relation, those of an equivalence relation, and other properties appropriate for an equality relation in linear logic. The guiding idea is that equality of proofs is ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2003
ISSN: 0362-1340,1558-1160
DOI: 10.1145/949343.949333